Visualized SystemC Debugging
نویسندگان
چکیده
We present an integrated debugging environment that facilitates designers in simulating, debugging, and visualizing their SystemC models combining high-level debugging with a visualization frontend.
منابع مشابه
An Integrated SystemC Debugging Environment
Since its first release the system level language SystemC had a significant impact on various areas in VLSI-CAD. One remarkable benefit of SystemC lies in the support of abstraction levels beyond RTL. But being able to implement complex System-on-Chip (SoC) designs in SystemC raises the necessity of new techniques to support debugging, system exploration, and verification. We present an integra...
متن کاملNon-Intrusive High-level SystemC Debugging
We present a non-intrusive high-level SystemC debugging approach to be used with SystemC v2.0.1 and GNU debugger gdb. Our approach is integrated into an industrial design flow and enables developers to debug designs at high level working with signals, ports, events, and processes. Thus, one gets quick and concise insight into static structure and dynamic behavior of the design without the burde...
متن کاملFormal Verification of SystemC Designs using the BLAST Software Model Checker
SystemC is widely used in hardware/software codesign. Although it is also used for the design of safety-critical applications, existing formal verification techniques for SystemC are still hardly used in industrial practice. The main reasons for this are scalability issues, the lacking support for many practically relevant SystemC language constructs, and that counter-examples are not always ea...
متن کاملEvaluating Debugging Algorithms from a Qualitative Perspective
A bottleneck during hardware design is the localization and the correction of faults – so-called debugging. Several approaches for automation of debugging have been proposed. This paper describes a methodology for evaluation and comparison of automated debugging algorithms. A fault model for faults occurring in SystemC descriptions at design time or during implementation is an essential part of...
متن کاملEvaluating Debugging Algorithms from a Qualitative Perspective∗ Alexander Finder
A bottleneck during hardware design is the localization and the correction of faults – so-called debugging. Several approaches for automation of debugging have been proposed. This paper describes a methodology for evaluation and comparison of automated debugging algorithms. A fault model for faults occurring in SystemC descriptions at design time or during implementation is an essential part of...
متن کامل